integrate 10/(x^2-16)